prenex-disjunctive normal form
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
Look at other dictionaries:
Canonical form — Generally, in mathematics, a canonical form (often called normal form or standard form) of an object is a standard way of presenting that object. Canonical form can also mean a differential form that is defined in a natural (canonical) way; see… … Wikipedia
Canonicalization — Not to be confused with Canonization. In computer science, canonicalization (abbreviated c14n, where 14 represents the number of letters between the C and the N) is a process for converting data that has more than one possible representation into … Wikipedia